21. SystemVerilog for verification
Author: / Chris Spear., Spear, Chris.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Verilog (Computer hardware description language), Integrated circuits--Verification.
Classification :
TK
7885
.
7
.
S67
2006


22. Systemverilog assertions and functional coverage: guide to language, methodology and applications
Author: Mehta, Ashok B.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Verilog )Computer hardware description language(,، Electronic digital computers - Design and construction,، Integrated circuits - Verification
Classification :
TK
7885
.
7
.
M4
2014


23. Systemverilog for verification :
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Verilog (Computer hardware description language),Integrated circuits , Verification
Classification :
E-BOOK

24. The power of assertions in SystemVerilog
Author: Eduard Cerny ... ]et al.[
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Verilog )Computer hardware description language(,، Integrated circuits, Verification, Data processing
Classification :
TK
7874
.
58
.
P69
2010


25. The power of assertions in system verilog
Author: / Eduard Cerny...[et al]
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Verilog (Computer hardware description language),Integrated circuits - Verification - Data processing
Classification :
TK7874
.
58
.
P69
2010


26. The power of assertions in system verilog
Author: Eduard Cerny ... ]et al.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Verilog )Computer hardware description language(,Verification -- Data processing ، Integrated circuits
Classification :
TK
7874
.
58
.
P69
2010


27. Verification methodology manual for SystemVerilog
Author: / by Janick Bergeron ... [et al.].
Library: Library of College of Science University of Tehran (Tehran)
Subject: Verilog (Computer hardware description language), Integrated circuits--Verification.
Classification :
TK
7885
.
7
.
V44
2006


28. Verification methodology manual for SystemVerilog
Author: / by Janick Bergeron ... [et al.]
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Verilog (Computer hardware description language),Integrated circuits , Verification
Classification :
E-BOOK

29. Verification methodology manual for System Verilog
Author: by Janick Bergeron...[et al.]&
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Verilog (Computer hardware description language),Integrated circuits -- Verification
Classification :
TK
،
7885
.
7
،.
V44
،
2006

